An operational semantics for C/C++11 concurrency
نویسندگان
چکیده
منابع مشابه
Structured Operational Semantics for Concurrency and Hierarchy
This paper presents a language, CHA, and semantics for studying Statecharts-like drawings. CHA is a process algebra. CHA terms are interpreted as programs that extend Mealy-style nite automata with concurrent execution and hierarchical structure. Transitions in CHA can cross hierarchy boundaries, and it is this fact that makes giving a semantics to CHA (and to Statecharts) an interesting proble...
متن کاملDRAFT: An operational semantics for C/C++11 concurrency
The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the “thin-air” problem) it is strong enough to give useful guarantees to programmers. It is mathematically precise and has been used in verification research and compiler testing. However, the model is expressed in an axiomatic style, as predicates on complete candidate exec...
متن کاملAn Operational Semantics including "Volatile" for Safe Concurrency
This work is motivated by the desire to define a type system for a Java-like language to prevent data races. Data races are intrinsically a multi-threaded issue. However a scalable type system or program analysis analyzes each method body separately, using invariants and annotations to ensure that interactions follow desired patterns. It is well known that deadlock can be prevented by requiring...
متن کاملAn Operational Semantics for LogTM
We present a formal operational semantics for LogTM, a hardware-based nested transactional memory system. We define the proper execution of programs written in a small assembly language that includes memory accesses, nested closed and open transactions, partial rollback, commit and abort handlers, thread spawning, and escape actions. This is a working document, intended to reflect and codify th...
متن کاملAn operational semantics for skeletons
A major weakness of the current programming systems based on skeletons is that parallel semantics is usually provided in an informal way, thus preventing any formal comparison about program behavior. We describe a schema suitable for the description of both functional and parallel semantics of skeletal languages which is aimed at filling this gap. The proposed schema of semantics represents a h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3022671.2983997